一般の位相空間における Stone-Čech コンパクト化と Stone 双対性に関する完全な考察

本ドキュメントは、位相空間論および圏論における Stone-Čech コンパクト化 $\beta X$ の構成、完全不連結コンパクト Hausdorff 空間（Stone 空間）の圏における単射的対象、および包含関手の左随伴（Stone 反射 $S(X)$）について、チャットで行われたすべての議論・証明・考察を一切の省略なく収録した完全版です。

1. 一般の位相空間に対する $\beta X$ の構成（Z超フィルターによる構成）

一般の位相空間 $X$ に対しても、Z超フィルターを用いた構成は全く同じ手続きで適用可能であり、普遍性を満たす Stone-Čech コンパクト化 $\beta X$ を与える。

Tychonoff 空間における構成の証明を注意深く見直すと、対象の空間 $X$ の完全正則性（および Hausdorff 性）を必要としたのは、「自然な写像 $c \colon X \to \beta X$ が埋め込みになること（単射性および像への開写像性）」を示す箇所のみである。

$\beta X$ という空間自体がコンパクト Hausdorff 空間となることや、圏論的な普遍性を満たすことの証明は、 $X$ に対するいかなる分離公理も仮定することなく成立する。この驚くべき事実は、「交わらない2つのゼロ集合 (zero-set) は、元の空間の性質によらず常に連続関数で分離可能である」という補題によって保証される。

構成

$X$ を任意の位相空間とする。連続関数 $f \colon X \to \mathbb{R}$ に対し、 $Z(f) = f^{-1}(0)$ を $X$ のゼロ集合と呼ぶ。 $Z(X)$ を $X$ のゼロ集合全体の族とする。極大なZフィルター（包含関係に関して極大なフィルター）をZ超フィルター (Z-ultrafilter) と呼ぶ。

$\beta X$ を $X$ 上のZ超フィルター全体の集合とする。各 $Z \in Z(X)$ に対して

と定義し、 $\mathcal{B} = \{ \hat{Z} \mid Z \in Z(X) \}$ を閉基とする位相を $\beta X$ に定める。自然な写像 $c \colon X \to \beta X$ を、各 $x \in X$ に対して $c(x) = p_x = \{ Z \in Z(X) \mid x \in Z \}$ により定義する。 $p_x$ は明らかにZ超フィルターとなる。

定義より、ある連続関数 $f_1, f_2 \colon X \to \mathbb{R}$ が存在して $Z_1 = f_1^{-1}(0)$ かつ $Z_2 = f_2^{-1}(0)$ となる。
$Z_1 \cap Z_2 = \varnothing$ であるため、任意の $x \in X$ に対して $f_1(x)$ と $f_2(x)$ が同時に $0$ になることはない。すなわち、常に $|f_1(x)| + |f_2(x)| > 0$ である。
そこで、関数 $f \colon X \to \mathbb{R}$ を
$$ f(x) = \frac{|f_1(x)|}{|f_1(x)| + |f_2(x)|} $$ により定義する。分母は常に正であり、 $|f_1|$ と $|f_2|$ は連続であるから、 $f$ は連続関数である。また、値域は明らかに $[0, 1]$ に含まれる。
$x \in Z_1$ ならば $f_1(x) = 0$ であるから $f(x) = 0$ となり、 $Z_1 \subset f^{-1}(0)$ である。
$x \in Z_2$ ならば $f_2(x) = 0$ であるから $f(x) = |f_1(x)| / |f_1(x)| = 1$ となり、 $Z_2 \subset f^{-1}(1)$ である。

$\beta X$ が Hausdorff 空間であること
$p, q \in \beta X$ を $p \neq q$ とする。Z超フィルターの極大性より、ある $Z_1 \in p$ と $Z_2 \in q$ が存在して $Z_1 \cap Z_2 = \varnothing$ となる。
前述の補題により、連続関数 $f \colon X \to [0, 1]$ が存在して $Z_1 \subset f^{-1}(0)$ かつ $Z_2 \subset f^{-1}(1)$ となる。
$V_1 = f^{-1}([0, 1/2])$ と $V_2 = f^{-1}([1/2, 1])$ はゼロ集合であり、 $V_1 \cup V_2 = X$ である。フィルターの性質から $\hat{V_1} \cup \hat{V_2} = \beta X$ である。
$U_1 = \beta X \smallsetminus \hat{V_2}$ と $U_2 = \beta X \smallsetminus \hat{V_1}$ は $\beta X$ の開集合であり、 $U_1 \cap U_2 = \varnothing$ である。
ここで $W_1 = f^{-1}([0, 1/3])$ とすると、 $W_1$ はゼロ集合であり $Z_1 \subset W_1 \subset X \smallsetminus V_2$ となる。 $Z_1 \in p$ であるから $W_1 \in p$ となり、 $W_1 \cap V_2 = \varnothing$ より $V_2 \notin p$ である。したがって $p \notin \hat{V_2}$ すなわち $p \in U_1$ である。
全く同様に $q \in U_2$ となる。よって $\beta X$ は Hausdorff 空間である。（この証明に $X$ の完全正則性は一切使用していない）
$\beta X$ がコンパクト空間であること
$\beta X$ の閉基の要素からなる族 $\{ \hat{Z_\lambda} \}_{\lambda \in \Lambda}$ が有限交叉性を持つとする。
任意の有限部分集合 $\Lambda_0 \subset \Lambda$ に対して $\bigcap_{\lambda \in \Lambda_0} \hat{Z_\lambda} = \widehat{\bigcap_{\lambda \in \Lambda_0} Z_\lambda} \neq \varnothing$ であるから、 $\bigcap_{\lambda \in \Lambda_0} Z_\lambda \neq \varnothing$ である。
したがって族 $\{ Z_\lambda \}_{\lambda \in \Lambda}$ は $X$ 上のあるZフィルターの基となるため、Zorn の補題により、これを含むZ超フィルター $p \in \beta X$ が存在する。
任意の $\lambda \in \Lambda$ について $Z_\lambda \in p$ であるから $p \in \hat{Z_\lambda}$ となり、 $p \in \bigcap_{\lambda \in \Lambda} \hat{Z_\lambda} \neq \varnothing$ となる。Alexander の部分開被覆定理により $\beta X$ はコンパクトである。
写像 $c$ の連続性
$\beta X$ の任意の閉基の元 $\hat{Z}$ に対して、その逆像は
$$ c^{-1}(\hat{Z}) = \{ x \in X \mid c(x) \in \hat{Z} \} = \{ x \in X \mid Z \in p_x \} = \{ x \in X \mid x \in Z \} = Z $$
となる。ゼロ集合 $Z$ は $X$ において閉集合であるから、 $c$ は連続写像である。
（※ $X$ が関数的 Hausdorff 空間でない場合、 $p_x = p_y$ となる相異なる点 $x, y$ が存在し得るため、 $c$ は単射にはならない。）
普遍性を満たすこと
$K$ をコンパクト Hausdorff 空間、 $g \colon X \to K$ を連続写像とする。
任意の $p \in \beta X$ に対し、 $\{ \overline{g(Z)} \mid Z \in p \}$ は $K$ における閉集合族であり有限交叉性を持つ。 $K$ はコンパクトであるから $\bigcap_{Z \in p} \overline{g(Z)} \neq \varnothing$ である。
この共通部分が相異なる2点 $y_1, y_2 \in K$ を含むと仮定する。 $K$ はコンパクト Hausdorff 空間であるため完全正則であり、互いに素なゼロ集合 $W_1, W_2 \subset K$ で $y_1 \in W_1^\circ$ かつ $y_2 \in W_2^\circ$ （それぞれ内部を含む）となるものが存在する。
$g$ は連続であるから、 $g^{-1}(W_1)$ と $g^{-1}(W_2)$ は $X$ のゼロ集合であり、交わらない。したがって極大性より $p$ は両方を同時に含むことはできない。
もし $g^{-1}(W_1) \notin p$ とすると、極大性からある $Z \in p$ が存在して $Z \cap g^{-1}(W_1) = \varnothing$ となる。これは $g(Z) \cap W_1 = \varnothing$ を意味する。 $W_1^\circ$ は $y_1$ の開近傍であるため $y_1 \notin \overline{g(Z)}$ となり、 $y_1 \in \bigcap_{Z \in p} \overline{g(Z)}$ に矛盾する。
したがって共通部分はただ1点からなる。この唯一の点を $\tilde{g}(p)$ と定義する。
写像 $\tilde{g} \colon \beta X \to K$ はこのように well-defined である。構成法から任意の $x \in X$ について $p_x$ は $Z$ を含むため $\tilde{g}(p_x) \in \overline{g(\{x\})} = \{g(x)\}$ となり、 $\tilde{g} \circ c = g$ を満たす。
$\tilde{g}$ の連続性および一意性は、 $c(X)$ が $\beta X$ で稠密であること（空でない基本開集合 $\beta X \smallsetminus \hat{Z}$ は $Z \neq X$ よりある $x \notin Z$ に対して $p_x$ を含むこと）と $K$ の Hausdorff 性から直ちに従う。

2. 完全不連結コンパクト Hausdorff 空間の圏における単射的対象

完全不連結コンパクト Hausdorff 空間（いわゆる Stone 空間）の圏における単射的対象 (injective object) について解説します。

結論から述べると、この圏における単射的対象は「カントール立方体 (Cantor cube) $\{0, 1\}^\kappa$ のレトラクト (retract) と同相な空間」です。これは、Stone 双対性の枠組みにおいては「射影的 Boole 代数 (projective Boolean algebra) の Stone 空間」に相当します。

位相空間論において非常によく似た概念として「超不連結 (extremally disconnected) コンパクト Hausdorff 空間」がありますが、これは圏論における双対概念である射影的対象 (projective object) であり、単射的対象ではないことに注意が必要です。

基本概念の準備

証明は以下の3つのステップに分けて行う。

ステップ1: 2点空間 $\{0, 1\}$ が単射的対象であること
$X \in \mathrm{Ob}(\mathbf{Stone})$ とし、 $A \subset X$ を閉部分集合とする。離散空間 $\{0, 1\}$ は $\mathbf{Stone}$ の対象である。
連続写像 $f \colon A \to \{0, 1\}$ が与えられたとする。 $U = f^{-1}(1)$ とおくと、 $\{1\}$ は $\{0, 1\}$ で clopen なので、 $U$ は $A$ の相対位相における clopen 集合である。
$A$ は $X$ の閉集合であるから、 $U$ と $A \smallsetminus U$ は $X$ 全体から見ても交わらない2つの閉集合である。
$X$ は完全不連結コンパクト Hausdorff 空間であるため、開基として clopen 集合からなるものを持つ。これを用いて、交わらない閉集合 $U$ と $A \smallsetminus U$ を clopen 集合で分離できることを示す。
$x \in U$ と $y \in A \smallsetminus U$ を任意にとる。 $x \neq y$ であるため、ある clopen 集合 $W_{x,y} \subset X$ が存在して、 $x \in W_{x,y}$ かつ $y \notin W_{x,y}$ が成り立つ。
$x$ を固定して族 $\{ X \smallsetminus W_{x,y} \}_{y \in A \smallsetminus U}$ を考えると、これは閉集合 $A \smallsetminus U$ の開被覆となる。 $X$ がコンパクトであるため閉部分集合 $A \smallsetminus U$ もコンパクトであり、有限部分被覆が存在する。それらに対応する点を $y_1, \dots, y_n$ とする。
$U_x = \bigcap_{i=1}^n W_{x,y_i}$ とおくと、有限個の clopen 集合の共通部分なので $U_x$ は clopen 集合であり、 $x \in U_x$ かつ $U_x \cap (A \smallsetminus U) = \varnothing$ である。
次に、族 $\{ U_x \}_{x \in U}$ を考える。これは閉集合 $U$ の開被覆であるから、同様にコンパクト性により有限部分被覆が存在し、対応する点を $x_1, \dots, x_m$ とする。
$V = \bigcup_{j=1}^m U_{x_j}$ とおくと、有限個の clopen 集合の和集合なので $V$ は clopen 集合である。構成より $U \subset V$ であり、各 $U_{x_j}$ は $A \smallsetminus U$ と交わらないため $V \cap (A \smallsetminus U) = \varnothing$ が成り立つ。
これらより、 $V \cap A = U$ である。
連続写像 $\tilde{f} \colon X \to \{0, 1\}$ を、 $x \in V$ のとき $\tilde{f}(x) = 1$ 、 $x \notin V$ のとき $\tilde{f}(x) = 0$ として定義する。 $V$ が clopen であるため $\tilde{f}$ は連続であり、 $A$ 上で $f$ と一致する。よって $\{0, 1\}$ は単射的対象である。

ステップ2: 任意の対象が $\{0, 1\}^\kappa$ に埋め込めること
任意の $I \in \mathrm{Ob}(\mathbf{Stone})$ に対し、その clopen 集合全体の族を $\mathcal{B}$ とする。基数を $\kappa = |\mathcal{B}|$ とおく。
評価写像 $e \colon I \to \{0, 1\}^\mathcal{B}$ を、任意の $x \in I$ と $B \in \mathcal{B}$ に対して
$$ (e(x))_B = \begin{cases} 1 & (x \in B) \\ 0 & (x \notin B) \end{cases} $$
により定義する。
各 $B$ 成分への射影は clopen 集合 $B$ の指示関数なので連続であり、直積位相の普遍性より $e$ は連続写像である。
また、 $I$ の任意の相異なる2点はいずれかの clopen 集合で分離できるため、 $e$ は単射である。 $I$ はコンパクトであり $\{0, 1\}^\mathcal{B}$ は Hausdorff であるため、 $e$ は像 $e(I)$ への同相写像を与える。すなわち $I$ はカントール立方体の閉部分集合として埋め込める。

ステップ3: 単射的対象とレトラクトの同値性
直積の普遍性から、単射的対象の直積は常に単射的対象である。したがって、 $\{0, 1\}$ の直積である $\{0, 1\}^\kappa$ は単射的対象である。
一般に、単射的対象のレトラクトは単射的対象である。実際、 $R$ が単射的対象 $J$ のレトラクトであるとし、 $i \colon R \to J$ を埋め込み、 $r \colon J \to R$ を $r \circ i = \mathrm{id}_R$ なるレトラクションとする。閉埋め込み $A \subset X$ と連続写像 $f \colon A \to R$ に対して、合成 $i \circ f \colon A \to J$ は $J$ の単射性により連続写像 $\tilde{g} \colon X \to J$ に拡張される。このとき $\tilde{f} = r \circ \tilde{g} \colon X \to R$ は $f$ の拡張となる。
逆に、 $I \in \mathrm{Ob}(\mathbf{Stone})$ が単射的対象であると仮定する。ステップ2より、 $I$ はある $\{0, 1\}^\kappa$ の閉部分空間 $e(I)$ と同相である。 $I$ の単射性により、閉部分集合 $e(I)$ からの同相写像 $e^{-1} \colon e(I) \to I$ は、空間全体からの連続写像 $r \colon \{0, 1\}^\kappa \to I$ に拡張できる。
このとき $r \circ e = \mathrm{id}_I$ が成り立つため、 $I$ は $\{0, 1\}^\kappa$ のレトラクトである。

Stone 双対性からの視点

上記の定理は、Stone 双対性 (Stone duality) を用いることで代数的に美しく解釈することができます。

圏 $\mathbf{Stone}$ は、Boole 代数 (Boolean algebra) の圏 $\mathbf{Bool}$ と双対同値 (dually equivalent) です。この双対性のもとでは、単射な連続写像（単射射）は全射な準同型写像（全射射）に対応するため、以下の対応関係が成り立ちます。

$\mathbf{Bool}$ のような代数系の圏において、射影的対象は「自由代数 (free algebra) のレトラクト」として特徴付けられます。双対性において、 $\kappa$ 個の生成元を持つ自由 Boole 代数に対応する Stone 空間こそが、カントール立方体 $\{0, 1\}^\kappa$ に他なりません。したがって、単射的対象が「$\{0, 1\}^\kappa$ のレトラクト」になるのは、代数的な事実の位相的翻訳として極めて自然な結果だと言えます。

3. 包含関手 $U \colon \mathbf{Stone} \to \mathbf{Top}$ の左随伴は何か？

完全不連結コンパクト Hausdorff 空間（Stone 空間）の圏 $\mathbf{Stone}$ から位相空間の圏 $\mathbf{Top}$ への包含関手 $U \colon \mathbf{Stone} \to \mathbf{Top}$ には左随伴関手が存在する。

結論から述べると、任意の位相空間 $X$ に対して、その clopen 集合（開かつ閉である集合）全体のなす Boole 代数の Stone 空間 $S(X)$ を対応させる関手 $S \colon \mathbf{Top} \to \mathbf{Stone}$ が、包含関手 $U$ の左随伴となる。この構成は Banaschewski コンパクト化（あるいは Stone 反射）と呼ばれる。

基本概念と $S(X)$ の構成

任意の位相空間 $X$ に対し、その clopen 集合全体の族を $\mathrm{Clop}(X)$ と表す。これは集合の和、共通部分、補集合の演算により Boole 代数をなす。

$\mathrm{Clop}(X)$ 上のフィルターとは、以下の条件を満たす空でない部分族 $F \subset \mathrm{Clop}(X)$ のことである。

包含関係に関して極大なフィルターを 超フィルター (ultrafilter) と呼ぶ。超フィルター $p$ については、任意の $C \in \mathrm{Clop}(X)$ に対して $C \in p$ または $X \smallsetminus C \in p$ のいずれか一方が必ず成り立つという性質がある。

$S(X)$ を、 $\mathrm{Clop}(X)$ 上の超フィルター全体の集合とする。
各 $C \in \mathrm{Clop}(X)$ に対して、部分集合 $\hat{C} \subset S(X)$ を
$$ \hat{C} = \{ p \in S(X) \mid C \in p \} $$
により定義する。族 $\{ \hat{C} \mid C \in \mathrm{Clop}(X) \}$ を開基とする位相を $S(X)$ に定める。

$S(X)$ が Stone 空間であることの証明

1. Hausdorff 性と完全不連結性
$p, q \in S(X)$ を $p \neq q$ なる任意の2点とする。超フィルターの極大性より、ある $C \in \mathrm{Clop}(X)$ が存在して $C \in p$ かつ $C \notin q$ となる。
$C \notin q$ より、補集合 $X \smallsetminus C \in q$ である。
このとき、 $p \in \hat{C}$ であり、 $q \in \widehat{X \smallsetminus C}$ である。
超フィルターの性質から $\hat{C} \cap \widehat{X \smallsetminus C} = \varnothing$ であり、 $\hat{C} \cup \widehat{X \smallsetminus C} = S(X)$ が成り立つため、 $\hat{C}$ と $\widehat{X \smallsetminus C}$ は $S(X)$ における clopen 集合である。
したがって、任意の相異なる2点は交わらない clopen 集合で分離されるため、 $S(X)$ は完全不連結であり、かつ Hausdorff 空間である。

2. コンパクト性
$S(X)$ の開被覆で、基本開集合からなる族 $\{ \hat{C_\lambda} \}_{\lambda \in \Lambda}$ をとる。これが有限部分被覆を持たないと仮定する。
任意の有限部分集合 $\Lambda_0 \subset \Lambda$ に対して $\bigcup_{\lambda \in \Lambda_0} \hat{C_\lambda} \neq S(X)$ であるため、補集合をとることで $\bigcap_{\lambda \in \Lambda_0} \widehat{X \smallsetminus C_\lambda} \neq \varnothing$ となる。
これはすなわち、族 $\{ X \smallsetminus C_\lambda \}_{\lambda \in \Lambda}$ が $\mathrm{Clop}(X)$ において有限交叉性 (finite intersection property) を持つことを意味する。
有限交叉性を持つ族は、Zorn の補題によりある超フィルター $p^* \in S(X)$ に拡張できる。
任意の $\lambda \in \Lambda$ に対して $X \smallsetminus C_\lambda \in p^*$ であるから、 $C_\lambda \notin p^*$ となり、 $p^* \notin \hat{C_\lambda}$ である。
これは $\{ \hat{C_\lambda} \}$ が $S(X)$ の被覆であることに矛盾する。Alexander の部分開被覆定理より $S(X)$ はコンパクトである。

以上より、 $S(X)$ は完全不連結コンパクト Hausdorff 空間（Stone 空間）である。

左随伴であること（普遍性）の証明

関手 $S$ が包含関手 $U$ の左随伴となるためには、自然な写像 $\eta_X \colon X \to U(S(X))$ が存在し、普遍性を満たすことを示せばよい。

自然な写像 $\eta_X \colon X \to S(X)$ を、各 $x \in X$ に対して
$$ \eta_X(x) = p_x = \{ C \in \mathrm{Clop}(X) \mid x \in C \} $$
により定める（ $p_x$ は明らかに超フィルターとなる）。
任意の基本開集合 $\hat{C}$ の逆像は
$$ \eta_X^{-1}(\hat{C}) = \{ x \in X \mid C \in p_x \} = \{ x \in X \mid x \in C \} = C $$
となる。 $C$ は $X$ の開集合であるから、 $\eta_X$ は連続写像である。

（準備：Stone 空間上の超フィルターの収束）
任意の Stone 空間 $K$ において、 $\mathrm{Clop}(K)$ 上の任意の超フィルター $q$ は、 $K$ のただ1点に収束することを示す。
$q$ の元は $K$ の閉集合であり有限交叉性を持つため、 $K$ のコンパクト性により $\bigcap_{D \in q} D \neq \varnothing$ である。
もしこの共通部分が相異なる2点 $y_1, y_2$ を含むとすると、 $K$ の完全不連結性からある $E \in \mathrm{Clop}(K)$ が存在して $y_1 \in E$ かつ $y_2 \notin E$ となる。 $q$ は超フィルターなので $E \in q$ または $K \smallsetminus E \in q$ のいずれかであるが、どちらの場合も $y_1, y_2$ の一方が共通部分に含まれないことになり矛盾する。したがって、共通部分はただ1点からなる。この点を $y_q$ と表す。

（ $\tilde{f}$ の構成と連続性）
連続写像 $f \colon X \to K$ は、逆像をとることで Boole 代数の準同型 $f^* \colon \mathrm{Clop}(K) \to \mathrm{Clop}(X)$ 、すなわち $f^*(D) = f^{-1}(D)$ を誘導する。
任意の $p \in S(X)$ に対して、その引き戻し
$$ (f^*)^{-1}(p) = \{ D \in \mathrm{Clop}(K) \mid f^{-1}(D) \in p \} $$
は $\mathrm{Clop}(K)$ 上の超フィルターとなる。
上記の準備から、この超フィルターは $K$ のただ1点に収束する。この点を $\tilde{f}(p)$ と定義する。
$\tilde{f} \colon S(X) \to K$ が連続であることを示す。 $K$ の任意の clopen 集合 $D \in \mathrm{Clop}(K)$ に対して、
$$ \tilde{f}^{-1}(D) = \{ p \in S(X) \mid \tilde{f}(p) \in D \} $$
を考える。 $\tilde{f}(p)$ の定義により、 $\tilde{f}(p) \in D$ となるのは $D \in (f^*)^{-1}(p)$ のとき、すなわち $f^{-1}(D) \in p$ のときと同値である。したがって
$$ \tilde{f}^{-1}(D) = \widehat{f^{-1}(D)} $$
となる。 $f^{-1}(D) \in \mathrm{Clop}(X)$ であるから $\widehat{f^{-1}(D)}$ は $S(X)$ の clopen 集合（したがって開集合）であり、 $\tilde{f}$ は連続写像である。

（可換性 $\tilde{f} \circ \eta_X = f$ の証明）
任意の $x \in X$ をとる。 $p_x = \eta_X(x)$ とすると、
$$ (f^*)^{-1}(p_x) = \{ D \in \mathrm{Clop}(K) \mid x \in f^{-1}(D) \} = \{ D \in \mathrm{Clop}(K) \mid f(x) \in D \} $$
となる。 $K$ において $f(x)$ を含むすべての clopen 集合の共通部分は $\{f(x)\}$ であるため、この超フィルターが収束する唯一の点は $f(x)$ である。ゆえに $\tilde{f}(\eta_X(x)) = f(x)$ が成り立つ。

（一意性の証明）
$\eta_X(X)$ が $S(X)$ において稠密であることを示す。 $S(X)$ の任意の空でない基本開集合 $\hat{C}$ （ $C \in \mathrm{Clop}(X)$ ）をとると、 $C \neq \varnothing$ であるためある $x \in C$ が存在する。このとき $C \in p_x$ より $\eta_X(x) \in \hat{C}$ となるため、像 $\eta_X(X)$ は稠密である。
Hausdorff 空間 $K$ への2つの連続写像が稠密な部分集合 $\eta_X(X)$ 上で一致するならば、それらは空間全体で一致する。したがって条件を満たす $\tilde{f}$ は一意である。

補足：他の随伴関手との合成による解釈

圏論において「左随伴関手の合成は左随伴関手になる」という一般論を用いると、この関手 $S$ は別の視点からも構成できる。

$\mathbf{Stone}$ はコンパクト Hausdorff 空間の圏 $\mathbf{CHaus}$ の部分圏である。

したがって、これらを合成した関手 $X \mapsto \pi_0(\beta X)$ は、 $\mathbf{Stone} \to \mathbf{Top}$ の包含関手 $U$ の左随伴となる。普遍性による左随伴関手の一意性から、この空間 $\pi_0(\beta X)$ は、上で直接的に構成した clopen 代数の Stone 空間 $S(X)$ と自然に同相になる。

4. Stone 反射 $S(X)$ の $\{0, 1\}$ の直積の閉集合としての構成

位相空間 $X$ の Stone 反射 (Stone reflection) $S(X)$ は、閉区間 $[0, 1]$ の代わりに離散位相を入れた2点空間 $\{0, 1\}$ を用いることで、Stone-Čech コンパクト化 $\beta X$ の Tychonoff 立方体を用いた構成と全く同様のアプローチによって構成することができる。

この構成法は、直観的にも「連続関数で区別できる点を分離してコンパクト化する」という $\beta X$ のアイデアを、「clopen 集合で区別できる点（すなわち $\{0, 1\}$ への連続関数）のみを用いて分離・コンパクト化する」という形に置き換えたものとして自然に理解できる。

$S(X)$ のカントール立方体を用いた構成

$X$ を任意の位相空間とする。 $\{0, 1\}$ を離散位相を入れた2点空間とする。
$X$ から $\{0, 1\}$ への連続関数全体の集合を $C = C(X, \{0, 1\})$ とおく。（ $X$ の部分集合が clopen であることと、その指示関数が連続関数 $X \to \{0, 1\}$ となることは同値であるため、 $C$ は本質的に $X$ の clopen 集合全体 $\mathrm{Clop}(X)$ と同一視できる。）

積位相を入れた直積空間 $T = \{0, 1\}^C$ を考える。この空間 $T$ をカントール立方体 (Cantor cube) と呼ぶ。
評価写像 $e \colon X \to T$ を、任意の $x \in X$ と $f \in C$ に対して
$$ (e(x))_f = f(x) $$
により定義する。
$S(X)$ を、像 $e(X)$ の $T$ における閉包 $\overline{e(X)}$ と定義する。
自然な写像 $\eta_X \colon X \to S(X)$ を、 $e$ の終域を $S(X)$ に制限したものとして定める。

$S(X)$ が Stone 空間であることの証明

1. カントール立方体 $T$ の性質
$\{0, 1\}$ は離散空間であるためコンパクト Hausdorff 空間である。 Tychonoff の定理より、その直積である $T = \{0, 1\}^C$ もコンパクト Hausdorff 空間である。
さらに $T$ が完全不連結であることを示す。 $t, s \in T$ を $t \neq s$ なる任意の相異なる2点とする。直積の定義より、ある座標 $f \in C$ が存在して $t_f \neq s_f$ となる。
射影 $\pi_f \colon T \to \{0, 1\}$ は連続写像である。 $\{0, 1\}$ において $\{t_f\}$ は clopen 集合であるから、その逆像 $W = \pi_f^{-1}(\{t_f\})$ は $T$ の clopen 集合である。
構成から $t \in W$ であり、 $s_f \neq t_f$ であるため $s \notin W$ となる。したがって、任意の相異なる2点が clopen 集合で分離されるため、 $T$ は完全不連結である。

2. 閉部分空間 $S(X)$ の性質
$S(X)$ はコンパクト Hausdorff 空間 $T$ の閉部分集合であるから、それ自身もコンパクト Hausdorff 空間である。
$S(X)$ が完全不連結であることを示す。 $u, v \in S(X)$ を $u \neq v$ なる相異なる2点とする。 $T$ は完全不連結であるため、ある $T$ の clopen 集合 $W \subset T$ が存在して $u \in W$ かつ $v \notin W$ が成り立つ。
このとき、部分空間の相対位相において $W \cap S(X)$ は $S(X)$ の clopen 集合である。 $u \in W \cap S(X)$ であり $v \notin W \cap S(X)$ であるため、 $S(X)$ の相異なる2点も clopen 集合で分離される。
以上より、 $S(X)$ は完全不連結コンパクト Hausdorff 空間であり、圏 $\mathbf{Stone}$ の対象である。

左随伴であること（普遍性）の証明

1. 対象 $K$ のカントール立方体への埋め込み
$A = C(K, \{0, 1\})$ を $K$ 上の $\{0, 1\}$ に値をとる連続関数全体の集合とする。
評価写像 $\varphi \colon K \to \{0, 1\}^A$ を、任意の $y \in K$ と $h \in A$ に対して $(\varphi(y))_h = h(y)$ により定義する。
$\varphi$ が単射であることを示す。 $K$ は完全不連結であるから、任意の $y, z \in K$ ( $y \neq z$ ) に対して $y \in D$ かつ $z \notin D$ となる clopen 集合 $D \subset K$ が存在する。 $D$ の指示関数を $h_D \colon K \to \{0, 1\}$ とすると $h_D \in A$ であり、 $h_D(y) = 1 \neq 0 = h_D(z)$ となる。したがって $(\varphi(y))_{h_D} \neq (\varphi(z))_{h_D}$ となり、 $\varphi$ は単射である。
各成分への射影と $\varphi$ の合成は連続であるため $\varphi$ は連続写像である。 $K$ はコンパクト空間であり、 $\{0, 1\}^A$ は Hausdorff 空間であるため、連続な単射 $\varphi$ は像 $\varphi(K)$ への同相写像を与える。さらに $\varphi(K)$ は閉部分集合となる。

2. 連続写像 $\Phi \colon T \to \{0, 1\}^A$ の構成
任意の $h \in A$ は $K \to \{0, 1\}$ の連続関数であり、 $g \colon X \to K$ は連続であるから、その合成 $h \circ g \colon X \to \{0, 1\}$ は $C = C(X, \{0, 1\})$ の元である。
そこで、写像 $\Phi \colon T \to \{0, 1\}^A$ を、任意の $t \in T$ と $h \in A$ に対して
$$ (\Phi(t))_h = t_{h \circ g} $$
により定義する。
$\Phi$ と射影 $\pi_h \colon \{0, 1\}^A \to \{0, 1\}$ の合成は、 $T$ の射影 $\pi_{h \circ g} \colon T \to \{0, 1\}$ に等しい。直積位相の普遍性より $\Phi$ は連続写像である。

3. $\tilde{g}$ の定義と可換性の確認
任意の $x \in X$ と $h \in A$ に対して、
$$ (\Phi(e(x)))_h = (e(x))_{h \circ g} = (h \circ g)(x) = h(g(x)) = (\varphi(g(x)))_h $$
が成り立つため、 $T$ から $\{0, 1\}^A$ への写像として $\Phi \circ e = \varphi \circ g$ である。
$\Phi$ は連続であるため閉包の包含関係を保つ。したがって、
$$ \Phi(S(X)) = \Phi(\overline{e(X)}) \subset \overline{\Phi(e(X))} = \overline{\varphi(g(X))} \subset \overline{\varphi(K)} = \varphi(K) $$
が成り立つ（最後の等号は $\varphi(K)$ が閉集合であるため）。
$\varphi$ は $K$ から $\varphi(K)$ への同相写像であるから、連続な逆写像 $\varphi^{-1} \colon \varphi(K) \to K$ が存在する。
写像 $\tilde{g} \colon S(X) \to K$ を、
$$ \tilde{g} = \varphi^{-1} \circ \Phi|_{S(X)} $$
により定義する。 $\Phi|_{S(X)}$ の像が $\varphi(K)$ に含まれるため、この写像は well-defined であり、連続写像の合成なので連続である。
任意の $x \in X$ に対して、
$$ \tilde{g}(\eta_X(x)) = \varphi^{-1}(\Phi(e(x))) = \varphi^{-1}(\varphi(g(x))) = g(x) $$
となるため、 $\tilde{g} \circ \eta_X = g$ が成り立つ。

4. 一意性の確認
像 $\eta_X(X) = e(X)$ は定義により $S(X)$ において稠密である。 $K$ は Hausdorff 空間であるため、稠密な部分集合上で一致する連続写像は空間全体で一意に定まる。したがって $\tilde{g}$ は一意である。

超フィルターによる構成との関係

超フィルターを用いた構成と、カントール立方体を用いた構成は、代数的に見れば全く同じ対象を表している。

カントール立方体 $T = \{0, 1\}^{\mathrm{Clop}(X)}$ の元 $t$ は、各 clopen 集合 $C$ に対して $0$ か $1$ の値を割り当てる写像と見なせる。
評価写像の像 $e(X)$ においては、 $e(x)$ は点 $x$ を含む clopen 集合に $1$ を、含まないものに $0$ を割り当てる。これはまさに「点 $x$ を含む clopen 集合全体のフィルター」の指示関数である。
この像の閉包をとる操作 $\overline{e(X)}$ は、位相的には「有限交叉性を持つように矛盾なく $1$ を割り当てる極大な方法」の極限をすべて追加することに他ならない。これは Boole 代数 $\mathrm{Clop}(X)$ 上の超フィルター (ultrafilter) をすべて集めることと完全に同値である。

5. Stone 反射 $\eta_X \colon X \to S(X)$ が像への同相写像を誘導する条件

前回の Stone-Čech コンパクト化 $\beta X$ の議論と非常に美しく対比できる、核心を突いたトピックです。位相空間 $X$ に対する自然な連続写像 $\eta_X \colon X \to S(X)$ が像への同相写像（位相的な埋め込み）となるための必要十分条件は、「$X$ が $T_0$ 空間であり、かつ clopen 集合（開かつ閉である集合）からなる開基を持つこと」です。このような位相空間は、一般にゼロ次元 Hausdorff 空間 (zero-dimensional Hausdorff space) と呼ばれます。

基本概念の定義

【必要性の証明】
$\eta_X$ が像への同相写像であると仮定する。このとき $X$ は $S(X)$ の部分空間と同相になる。
$S(X)$ は完全不連結コンパクト Hausdorff 空間（Stone 空間）であるため、Hausdorff 性を持ち、かつ clopen 集合からなる開基を持つ。
部分空間の相対位相の性質から、 $S(X)$ の clopen 集合の $X$ への制限（共通部分）は $X$ の clopen 集合となるため、clopen 集合からなる開基を持つという性質は部分空間にも遺伝する。また、Hausdorff 性も部分空間に遺伝する。
したがって、 $X$ は clopen 開基を持つ Hausdorff 空間（ゼロ次元 Hausdorff 空間）である。

【十分性の証明】
$X$ が clopen 開基を持つ $T_0$ 空間であると仮定する。 $\eta_X$ が単射であることと、像への開写像であることの2点を示す。

単射性について:
$x, y \in X$ を $x \neq y$ となる任意の2点とする。 $X$ は $T_0$ 空間であるため、一方は含むが他方は含まないような開集合が存在する。一般性を失わず、 $x \in U$ かつ $y \notin U$ なる開集合 $U$ があるとする。
$X$ は clopen 開基を持つため、ある clopen 集合 $C$ が存在して $x \in C \subset U$ となる。
このとき $x \in C$ かつ $y \notin C$ である。
超フィルターを用いた評価写像の定義から、 $\eta_X(x)$ は $x$ を含む clopen 集合の族であるため $C \in \eta_X(x)$ となるが、 $C \notin \eta_X(y)$ である。したがって $\eta_X(x) \neq \eta_X(y)$ となり、 $\eta_X$ は単射である。
像への開写像性について:
$\eta_X$ が $X$ から部分空間 $\eta_X(X)$ への開写像であることを示す。
$U \subset X$ を任意の開集合とし、 $x \in U$ をとる。
clopen 開基の仮定から、ある clopen 集合 $C$ が存在して $x \in C \subset U$ を満たす。
$S(X)$ の基本開集合として $\hat{C} = \{ p \in S(X) \mid C \in p \}$ を考える。
$\eta_X(X)$ における相対位相での開集合 $W = \hat{C} \cap \eta_X(X)$ をとると、任意の $y \in X$ について
$$ \eta_X(y) \in W \iff C \in \eta_X(y) \iff y \in C $$
が成り立つ。すなわち $W = \eta_X(C)$ である。
$x \in C$ より $\eta_X(x) \in W$ であり、 $C \subset U$ より $W = \eta_X(C) \subset \eta_X(U)$ となる。
これは $\eta_X(U)$ の各点 $\eta_X(x)$ に対して、 $\eta_X(X)$ の相対開集合 $W$ がその近傍として $\eta_X(U)$ の中に取れることを意味するため、 $\eta_X(U)$ は $\eta_X(X)$ の相対位相において開集合である。

以上より、 $\eta_X$ は単射かつ像への開写像であるため、像への同相写像（埋め込み）となる。

$\beta X$ との美しい対比

この結論は、Stone-Čech コンパクト化における埋め込みの条件と見事な並行関係（パラレル）をなしています。

このように、目的となる圏の「基本となる空間」（区間 $[0, 1]$ か、離散空間 $\{0, 1\}$ か）を変えるだけで、構成の手続きから埋め込みの条件までが全く同じ論理構造で展開されるのが、圏論的位相空間論の非常に面白いところです。

6. ゼロ次元 Hausdorff 空間の例と完全不連結局所コンパクト空間

ゼロ次元 Hausdorff 空間（clopen 集合からなる開基を持つ $T_0$ 空間）は、位相空間論において非常に豊かで重要なクラスを形成します。

1. ゼロ次元 Hausdorff 空間の例

身近な空間から抽象的な空間まで、多くの例が存在します。

2. 完全不連結局所コンパクト Hausdorff 空間はゼロ次元か？

コンパクト化/反射の対象	普遍性を満たす空間の圏	埋め込みになるための条件	連続関数による分離の解釈
$\beta X$	コンパクト Hausdorff 空間	Tychonoff 空間	任意の閉集合と外の点が、 $[0, 1]$ への連続関数で分離できる
$S(X)$	Stone 空間	ゼロ次元 Hausdorff 空間	任意の閉集合と外の点が、 $\{0, 1\}$ への連続関数（clopen 集合）で分離できる

ご質問の「完全不連結かつ局所コンパクトな Hausdorff 空間はゼロ次元か？」という問いに対する結論は「YES（真）」です。

証明の要点（なぜ成り立つのか）:
この定理の鍵は、コンパクト Hausdorff 空間における「擬連結成分 (quasi-component) と連結成分 (component) が一致する」という性質にあります。

コンパクト空間での性質: 一般のコンパクト Hausdorff 空間 $K$ において、ある点 $x$ を含むすべての clopen 集合の共通部分（これを擬連結成分と呼びます）は、 $x$ の連結成分に一致することが知られています。もし $K$ が完全不連結であれば、連結成分は $\{x\}$ のみになるため、「 $x$ を含むすべての clopen 集合の共通部分は $\{x\}$ である」ことになります。
局所コンパクト空間への応用: 空間 $X$ を完全不連結局所コンパクト Hausdorff 空間とし、点 $x \in X$ とその任意の開近傍 $U$ をとります。
局所コンパクト性より、 $x$ はコンパクトな閉近傍 $K$ で、 $K \subset U$ となるものを持ちます。
$K$ は $X$ の部分空間として完全不連結コンパクト Hausdorff 空間になります。上記の性質から、 $K$ 内で $x$ を含む clopen 集合の共通部分は $\{x\}$ になります。
コンパクト性の議論（有限交叉性など）を用いると、 $K$ の境界と交わらないような $x$ の clopen 近傍 $C \subset K$ を見つけることができます。境界と交わらないため、この $C$ は $X$ 全体から見ても clopen 集合になります。
結果として $x \in C \subset U$ となる clopen 集合 $C$ が存在し、 $X$ は clopen 開基を持つこと（ゼロ次元であること）が示されます。

3. 条件を緩められないか？（反例について）

「局所コンパクト性」という条件を外して、単なる「完全不連結 Hausdorff 空間」としてしまうと、ゼロ次元にはならない（clopen 開基を持たない）反例が存在します。
位相空間論において、「完全不連結であること（連結成分が1点のみ）」と「完全分離であること / ゼロ次元であること（任意の相異なる点が clopen 集合で分離できる）」は、一般の空間では同値ではありません。

他の反例としては、平面上の特定の点を工夫して除いた「クナスター・クラトフスキーの扇 (Knaster-Kuratowski fan)」（通称：穴あきテント）などがあります。これも完全不連結でありながら、 clopen 集合で空間をうまく切り離すことができず、ゼロ次元になりません。

結論: 完全不連結な空間において、「点が繋がっていないこと」から直ちに「空間を clopen 集合で綺麗に切り分けられること」を保証するためには、局所コンパクト性（またはコンパクト性）という強力な枠組みが不可欠である、というのが位相空間論の面白い現実です。